
OPTEE_ARCH				?= arm
OPTEE_PLAT				?= vexpress-qemu_virt
# for optee_examples
OPTEE_ARCH2				?= arm32

# optee_os
OTOS_TARGETS			?= all
OTOS_DEBUG				?= 1

OTOS_CFG_OPTS			= CFG_ARM64_core=n

